Optimal. Leaf size=49 \[ 2^{m+1} 3^{-m-1} \sqrt{3 x-2} (-x)^m x^{-m} \, _2F_1\left (\frac{1}{2},-m;\frac{3}{2};1-\frac{3 x}{2}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0110271, antiderivative size = 49, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2, Rules used = {67, 12, 65} \[ 2^{m+1} 3^{-m-1} \sqrt{3 x-2} (-x)^m x^{-m} \, _2F_1\left (\frac{1}{2},-m;\frac{3}{2};1-\frac{3 x}{2}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 67
Rule 12
Rule 65
Rubi steps
\begin{align*} \int \frac{(-x)^m}{\sqrt{-2+3 x}} \, dx &=\left (\left (\frac{2}{3}\right )^m (-x)^m x^{-m}\right ) \int \frac{\left (\frac{3}{2}\right )^m x^m}{\sqrt{-2+3 x}} \, dx\\ &=\left ((-x)^m x^{-m}\right ) \int \frac{x^m}{\sqrt{-2+3 x}} \, dx\\ &=2^{1+m} 3^{-1-m} (-x)^m x^{-m} \sqrt{-2+3 x} \, _2F_1\left (\frac{1}{2},-m;\frac{3}{2};1-\frac{3 x}{2}\right )\\ \end{align*}
Mathematica [A] time = 0.0074754, size = 49, normalized size = 1. \[ 2^{m+1} 3^{-m-1} \sqrt{3 x-2} (-x)^m x^{-m} \, _2F_1\left (\frac{1}{2},-m;\frac{3}{2};1-\frac{3 x}{2}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.033, size = 44, normalized size = 0.9 \begin{align*}{\frac{\sqrt{2} \left ( -x \right ) ^{m}x}{2+2\,m}\sqrt{-{\it signum} \left ( x-{\frac{2}{3}} \right ) }{\mbox{$_2$F$_1$}({\frac{1}{2}},1+m;\,2+m;\,{\frac{3\,x}{2}})}{\frac{1}{\sqrt{{\it signum} \left ( x-{\frac{2}{3}} \right ) }}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (-x\right )^{m}}{\sqrt{3 \, x - 2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\left (-x\right )^{m}}{\sqrt{3 \, x - 2}}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 1.03686, size = 42, normalized size = 0.86 \begin{align*} - \frac{\sqrt{2} i x x^{m} e^{i \pi m} \Gamma \left (m + 1\right ){{}_{2}F_{1}\left (\begin{matrix} \frac{1}{2}, m + 1 \\ m + 2 \end{matrix}\middle |{\frac{3 x}{2}} \right )}}{2 \Gamma \left (m + 2\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (-x\right )^{m}}{\sqrt{3 \, x - 2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]